Dalam logika dan matematika, kesetaraan logika atau ekuivalensi logika[1] menyatakan bahwa dua proposisi yang berbeda dikatakan ekuivalen jika nilai kebenarannya sama. Kesetaraan logika pada proposisi dan terkadang dinyatakan sebagai , , , atau bahkan dalam notasi Polish, . Namun pandangan terkait simbol-simbol tersebut bergantung pada konteks, karena mereka juga dipakai dalam salah satu perangkai logika bikondisional, yaitu jika dan hanya jika.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search